منابع مشابه
Event-B/SLP
We show how the event-based notation offered by Event-B may be augmented by algorithmic modelling constructs without disrupting the refinement-based development process.
متن کاملService Recommendation using SLP
As more services become available on networks, and as ad hoc network grows in popularity, the problem of service location will grow. Service location is the detection of a service through automated means, and the subsequent configuration of the service user to use that service. A number of service discovery protocols currently exist, but there is no known framework for the evaluation and compar...
متن کاملSLP-IOR: On the Design of a Workbench for Testing SLP Codes
The development of efficient theoretical algorithms and their computer implementations are intimately related activities. For testing an implementation of a numerical method the availability of the existing test problems and access to a facility for randomly generated test problems are important issues. In the field of stochastic programming a standard input format for test problems has been pr...
متن کاملAlgorithmics on SLP-compressed strings: A survey
Results on algorithmic problems on strings that are given in a compressed form via straightline programs are surveyed. A straight-line program is a context-free grammar that generates exactly one string. In this way, exponential compression rates can be achieved. Among others, we study pattern matching for compressed strings, membership problems for compressed strings in various kinds of formal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Directions in the Teaching of Physical Sciences
سال: 2016
ISSN: 2051-3615,1740-9888
DOI: 10.29311/ndtps.v0i1.363